upto($n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $n$=$_{2}$0$\rightarrow$ nil else upto($n$$-$1) @ (($n$$-$1).nil) fi  \emph{(recursive)}